$\forall$${\it es}$:ES, $i$:Id, $k$:Knd. kindtype($i$;$k$) $\in$ Type